Consider Tor PM dead for the time being.